Logical Speci cation of Bulk Updates and Sequential
نویسنده
چکیده
Most current deductive database systems ooer only limited support for updates. We present a logical framework that allows to combine procedural update methods with set-oriented updates. The conventional database update operations are subsumed by our approach.
منابع مشابه
How to Execute ULTRA Transactions
In [WF97, WFF98a, WFF98b] we describe the language ULTRA that has been designed for the speci cation of database updates in a modular, rule-based fashion. We provide a model-theoretic semantics based on deferred updates, which means that update requests are determined and collected in an evaluation phase without changing the database state and the corresponding updates are performed in a subseq...
متن کاملAutomating Formal Speciication-based Testing to Appear: Tapsoft '97
This paper presents a technique for automatically generating logical schemata that specify groups of black-box test cases from formal speci cations containing universal and existential quanti cation. These schemata are called test frames. Previous automated techniques have dealt with languages based on propositional logic. Since this new technique deals with quanti cation it can be applied to m...
متن کاملSequential - System Factorization
The success of high-level synthesis methods in reducing design time and formal veri cation methods in reducing design errors in digital VLSI circuits have opened the way to system-level synthesis and veri cation. Derivation is a form of formal veri cation that deals with correct-by-construction reasoning. A set of equivalence preserving transformations are used to derive an implementation from ...
متن کاملThe State of Change: A Survey
Updates are a crucial component of any database programming language. Even the simplest database transactions, such as withdrawal from a bank account, require updates. Unfortunately, updates are not accounted for by the classical Horn semantics of logic programs and deductive databases, which limits their usefulness in real-world applications. As a short-term practical solution, logic programmi...
متن کاملProgramming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
This paper presents a language of update programs that integrates logical queries, bulk updates and hypothetical reasoning in a seamless manner. There is no syntactic or semantic distinction between queries and updates. Update programs extend logic programs with negation in both syntax and semantics. Users can specify bulk updates in which an arbitrary update is applied simultaneously for all a...
متن کامل